$\vdash$  Dec(False)